Peter Schneider

Results: 117



#Item
51

AProVE 1.2 : Automatic Termination Proofs in the Dependency Pair Framework? J¨ urgen Giesl, Peter Schneider-Kamp, Ren´e Thiemann LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl|thiemann|psk}

Add to Reading List

Source URL: verify.rwth-aachen.de

Language: English - Date: 2006-11-25 03:35:04
    52

    Optimal Base Encodings for Pseudo-Boolean Constraints? Michael Codish1 , Yoav Fekete1 , Carsten Fuhs2 , and Peter Schneider-Kamp3 1 Department of Computer Science, Ben Gurion University of the Negev, Israel

    Add to Reading List

    Source URL: verify.rwth-aachen.de

    Language: English - Date: 2015-04-16 09:50:00
      53

      Synthesizing Shortest Linear Straight-Line Programs over GF(2) using SAT⋆ Carsten Fuhs1 and Peter Schneider-Kamp2 1 LuFG Informatik 2, RWTH Aachen University, Germany

      Add to Reading List

      Source URL: verify.rwth-aachen.de

      Language: English - Date: 2015-04-16 09:50:00
        54

        DM537 Object-Oriented Programming Peter Schneider-Kamp ! http://imada.sdu.dk/~petersk/DM537/

        Add to Reading List

        Source URL: www.imada.sdu.dk

        Language: English - Date: 2013-11-09 15:16:44
          55

          Database Design and Programming Peter Schneider-Kamp DM 505, Spring 2009, 3rd Quarter 1

          Add to Reading List

          Source URL: www.imada.sdu.dk

          Language: English - Date: 2012-01-12 10:10:02
            56

            Institut for Matematik og Datalogi Syddansk Universitet October 3, 2013 Peter Schneider-Kamp

            Add to Reading List

            Source URL: www.imada.sdu.dk

            - Date: 2014-10-24 01:09:00
              57

              DM536 Introduction to Programming Peter Schneider-Kamp ! http://imada.sdu.dk/~petersk/DM536/

              Add to Reading List

              Source URL: www.imada.sdu.dk

              Language: English - Date: 2014-10-24 01:09:02
                58

                Institut for Matematik og Datalogi Syddansk Universitet November 30, 2013 Peter Schneider-Kamp

                Add to Reading List

                Source URL: www.imada.sdu.dk

                Language: English - Date: 2013-11-30 10:50:17
                  59

                  Database Design and Programming Peter Schneider-Kamp DM 505, Spring 2012, 3rd Quarter 1

                  Add to Reading List

                  Source URL: www.imada.sdu.dk

                  Language: English - Date: 2012-02-02 21:16:44
                    60

                    DM536 Introduction to Programming Peter Schneider-Kamp ! http://imada.sdu.dk/~petersk/DM536/

                    Add to Reading List

                    Source URL: www.imada.sdu.dk

                    Language: English - Date: 2014-10-24 01:09:02
                      UPDATE